Definable subgroups of measure algebras
نویسنده
چکیده
We show that type-definable subgroups of measure algebras are definable.
منابع مشابه
Smarandache algebras and their subgroups
In this paper we define S algebras and show that every finite group can be found in some S algebra. We define and study the S degree of a finite group and determine the S degree of several classes of finite groups such as cyclic groups, elementary abelian $p$-groups, and dihedral groups $D_p$.
متن کاملVariations sur un THème de Aldama et Shelah
We study the definability of certain subgroups of a group G that does not have the independence property. If a (type) definable subset X of an elementary extension G of G has property P , we call its trace X∩G over G an externally (type) definable P set. We show the following. Centralisers of subsets of G are externally definable subgroups. Cores of externally definable subgroups and iterated c...
متن کاملCartan subgroups of groups definable in o-minimal structures
We prove that groups definable in o-minimal structures have Cartan subgroups, and only finitely many conjugacy classes of such subgroups. We also delineate with precision how these subgroups cover the ambient group.
متن کاملEF+EX Forest Algebras
We examine languages of unranked forests definable using the temporal operators EF and EX. We characterize the languages definable in this logic, and various fragments thereof, using the syntactic forest algebras introduced by Bojanczyk and Walukiewicz. Our algebraic characterizations yield efficient algorithms for deciding when a given language of forests is definable in this logic. The proofs...
متن کاملWeighted Convolution Measure Algebras Characterized by Convolution Algebras
The weighted semigroup algebra Mb (S, w) is studied via its identification with Mb (S) together with a weighted algebra product *w so that (Mb (S, w), *) is isometrically isomorphic to (Mb (S), *w). This identification enables us to study the relation between regularity and amenability of Mb (S, w) and Mb (S), and improve some old results from discrete to general case.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Math. Log. Q.
دوره 52 شماره
صفحات -
تاریخ انتشار 2006